Decomposing Opacity (Appendix)
نویسندگان
چکیده
منابع مشابه
Decomposing Opacity
Transactional memory (TM) algorithms are subtle and the TM correctness conditions are intricate. Decomposition of the correctness condition can bring modularity to TM algorithm design and verification. We present a decomposition of opacity called markability as a conjunction of separate intuitive invariants. We prove the equivalence of opacity and markability. The proofs of markability of TM al...
متن کاملProving Opacity via Linearizability: A Sound and Complete Method
Transactional memory (TM) is a mechanism that manages thread synchronisation on behalf of a programmer so that blocks of code execute with the illusion of atomicity. The main safety criterion for transactional memory is opacity, which defines conditions for serialising concurrent transactions. Verifying opacity is complex because one must not only consider the orderings between fine-grained (an...
متن کاملDecomposing complete graphs into isomorphic subgraphs with six vertices and seven edges
Appendix (Constructions of the desired graph designs in the last table of our paper) In the following constructions, the block set of each G k-GD(v) is denoted by B k (v), and its vertex set is taken as (Z 3 × Z 2) {∞} for v = 7, or Z v for v = 8, 15, 29, or Z v−1 {∞} for v = 14, 28 besides other set, which will be specially denoted.
متن کاملAppendix: Geographic Variation in Commercial Medical-Care Expenditures: A Framework for Decomposing Price and Utilization
This appendix covers the following topics: (1) additional technical discussion of the data and methodology; (2) alternative indexes and decompositions; (3) servicespecific indexes; (4) population based estimates (continued); (5) medical-care indexes and quality; and (6) list of additional robustness checks. 1 Moving from the MarketScan Data to the Analysis: A Technical Discussion 1.1 Measuring ...
متن کاملDecomposing Digital Paintings into Layers via RGB-space Geometry
In digital painting software, layers organize paintings. However, layers are not explicitly represented, transmitted, or published with the final digital painting. We propose a technique to decompose a digital painting into layers. In our decomposition, each layer represents a coat of paint of a single paint color applied with varying opacity throughout the image. Our decomposition is based on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014